#ifndef __USER_PROCESSES_H_
#define __USER_PROCESSES_H_

#include "rtx_inc.h"

VOID set_priority_process (VOID);
VOID wall_clock_process (VOID);
VOID process_a_1 (VOID);
VOID process_a_2 (VOID);
VOID process_a_3 (VOID);
VOID process_b_1 (VOID);
VOID process_b_2 (VOID);
VOID process_c_1 (VOID);
VOID process_c_2 (VOID);

#endif
